TypeProf for IDE: Enrich Dev-Experience without Annotations

https://youtu.be/uNttp63ELoE

静的型付けは手段です

わかる

IDEで実行するまでもなくいい感じにコードを書けるように頑張っている話

Ruby公式の型定義言語

RBS

Rubyの静的型解析機

TypeProf

Steep

Sorbet

https://gyazo.com/27ff7d4cc9a97a54fb8c25c556262e6c

なるほど

https://gyazo.com/00077df13d4e43ee94a5e6bf2cbb029a

型レベルでRubyを実行する

抽象解析